sum(2*2^(-2i-7)*((2i+7) choose i),i from 0 to 500)